从信息构建看未来的知识管理   总被引：4，自引：0，他引：4  

化柏林 《情报学报》2004,23(4):463-468

本文从信息构建出发 ,进而引申到知识管理与知识推理 ,最终提出了知识基础工程。在设计并实现自然语言的语法开发平台时 ,产生了构建知识库的设想。利用语法开发平台 ,就可以对自然语言的语法进行开发 ,加上一个好的算法 ,就可以对大规模文本进行自动分析。对分析过的句子进行内容提取 ,并用面向对象方法和逻辑形式进行格式化 ,得到以面向对象为特征的常识知识库和以逻辑命题为特征的专家知识库 ,这应该是知识发现、知识管理的最高层次 ,也是知识工程的核心  相似文献   

我国刑事诉讼立法中应确立"无罪推定"原则   总被引：2，自引：0，他引：2  

任汝平 《湖南城市学院学报》2005,26(2):26-28

在当前我国刑事诉讼中侵害“人权”的行为较为普遍,主要原因在于在刑事诉讼领域,无论在理论方面、立法方面还是司法实践方面,都离“无罪推定”原则的要求相去甚远。现行《刑诉法》第12条存在明显缺陷。立法确立“无罪推定”原则是我国在刑诉中保障人权的当务之急。  相似文献   

关联理论与语用推理     

申开敏 《海南师范大学学报(社会科学版)》2004,17(5):117-120

关联理论认为，语言交际是一个示意——推理的认知过程，认知的实现在于它本身所体现出来的关联性。因此，关联理论框架下的言语交际活动是一个有目的、由说话人示意、听话人推理的动态过程。论文着重分析关联理论对语用推理的解释。  相似文献   

《淮南子》的推类理论解析     

刘霖 《邵阳学院学报(社会科学版)》2005,4(6):22-24

《淮南子》所包含的逻辑思想承先启后,在推类理论上,发挥了公孙龙注重类的内涵的研究,把墨辩提出的推类之难进行了深入探索;同时把《吕氏春秋》所提的类不可必推问题作了阐发,丰富了我国古代的推类理论,推动了中国逻辑学的发展.  相似文献   

二难推理新探     

郭彩琴 《首都师范大学学报(社会科学版)》1996,(4)

现行普通逻辑教材关于二难推理的内容有两个问题值得商榷：一是把二难推理形式局限于充分条件假言二难推理，而将必要条件假言二难推理排除在外；二是对二难推理规则的提法似有不足。二难推理的全部正确推理形式应是八个，而不是四个。二难推理的规则仅仅是保证推理形式有效的规则，并不涉及前提内容的真实与否。深入探讨二难推理的形式和规则，不仅具有一定的理论意义，而且有规范实际思维、防止逻辑错误的实际意义。  相似文献   

假言+选言推理的逻辑构造,判定和使用     

徐冬海 《淮阴师范学院学报(哲学社会科学版)》2000,22(2):101-104

“假言＋选言推理”是以假言命题和选言命题为前提的组合推理。根据假言、选言全中构造出１２种推理模式。采用归谬赋值法,对其有效性进行判定“Ｎ难推理”便是这种推理的语用形式。  相似文献   

组合积分与若干递推公式     

马登明 《青海师专学报》2005,25(4):48-50

积分问题在传统数学中已臻完美，但在有理函数的积分中如果结合具体问题适时采用组合方法来解决，将会收到事半功倍之效．作者在文[1]中曾经探讨了四类有理函数的组合积分法，在此基础上，本文给出常见分母二次型、常见分母三次型有理函数的组合积分方法，以及若干递推公式。  相似文献   

重要极限limn→∞(1+1/n)n=e的一种证法     

沈柳平  杨继昌 《柳州师专学报》2006,21(4):101-103

在<高等数学>教材中只证明了重要极限limn→∞(1 1/n)n=e的存在性,对于其结果为什么是e未做证明.本文将对此极限的结果做一个合理猜测,并给出了一种严格的证明.  相似文献   

Which notion of implication is the right one? From logical considerations to a didactic perspective     

V. Durand-Guerrier 《Educational Studies in Mathematics》2003,53(1):5-34

Implication is at the very heart of mathematical reasoning. As many authors have shown, pupils and students experience serious difficulties in using it in a suitable manner. In this paper, we support the thesis that these difficulties are closely related with the complexity of this notion. In order to study this complexity,we refer to Tarski's semantic truth theory,which contributes to clarifying the different aspects of implication: propositional connective, logically valid conditional, generalized conditional,inference rules. We will show that for this purpose, it is necessary to extend the classical definition of implication as a relation between propositions to a relation between open sentences with at least one free variable. This permits to become aware of the fact that, in some cases, the truth-value of a given mathematical statement is not constrained by the situation, contrary to the common standpoint that, in mathematics, a statement is either true or false. In the present paper, the didactic relevance of this theoretical stance will be illustrated by an analysis of two problematic situations and the presentation of some experimental results from our research on first-year university students' understanding of implication. This revised version was published online in August 2006 with corrections to the Cover Date.  相似文献   

试论语用学对篇章分析的影响     

袁俊芳 《忻州师范学院学报》2003,19(1):78-80

通过介绍语用学在指称、前提、含意、推论四个方面的观点，论述了语用学对篇章分析产生的重大影响。  相似文献